On operator algebras containing cyclic Boolean algebras

On topological transitive maps on operator algebras

We consider the transitive linear maps on the operator algebra $B(X)$for a separable Banach space $X$. We show if a bounded linear map is norm transitive on $B(X)$,then it must be hypercyclic with strong operator topology. Also we provide a SOT-transitivelinear map without being hypercyclic in the strong operator topology.

Multiplicative bijective maps on standard operator algebras

Measures on Boolean algebras

We present a necessary and sufficient condition for a Boolean algebra to carry a finitely additive measure.

Lie-type higher derivations on operator algebras

 Motivated by the intensive and powerful works concerning additive‎ ‎mappings of operator algebras‎, ‎we mainly study Lie-type higher‎ ‎derivations on operator algebras in the current work‎. ‎It is shown‎ ‎that every Lie (triple-)higher derivation on some classical operator‎ ‎algebras is of standard form‎. ‎The definition of Lie $n$-higher‎ ‎derivations on operator algebras and related pot...

Robbins Algebras vs. Boolean Algebras

In the early 1930s, Huntington proposed several axiom systems for Boolean algebras. Robbins slightly changed one of them and asked if the resulted system is still a basis for variety of Boolean algebras. The solution (afirmative answer) was given in 1996 by McCune with the help of automated theorem prover EQP/OTTER. Some simplified and restucturized versions of this proof are known. In our vers...